1、[数]符号逻辑
符号逻辑（Symbolic logic）是研究逻辑推论的形式特征的符号抽象的。符号逻辑常常被区分为两个分支：命题逻辑和谓词逻辑。
2、数理逻辑
证明集合相等探究-毕业论文参考网 关键词:集合; 数理逻辑; 谓词; 特征函数 [gap=940]Key words: set; symbolic logic; peridication ; eigenfunction
3、符号逻萝辑
...symbolic logic 符号逻辑 ; 数理逻辑 ; 符号论理学 ; 符号逻萝辑symbolic name 符号名 ; 符号名称 ; 标记名 ; 符号名字Symbolic Address 符号地址 ; 标志位置 ; 符号地址 ...
Journal of Symbolic Logic符号逻辑杂志
Formal symbolic logic逻辑
model of symbolic logic[计] 符号逻辑模型
symbolic logic algorithm符号逻辑算法
Symbolic Logic I符号逻辑
Association of Symbolic Logic符号逻辑学会
semi-symbolic logic半符号逻辑
Association for Symbolic Logic符号逻辑协会